package edu.gatech.cc.concolic.expression;


public class IntegerConstant extends SymbolicConstant implements IntegerExpression {
		
	public IntegerConstant(int value) {
		super(value);
	}
	
	public void accept(SymbolicExpressionVisitor visitor) {
		visitor.visit(this);
	}
}
